module Test.PrimitivesTest where

import qualified Data.ByteString as B
import qualified Data.ByteString.Lazy as L
import Data.Binary.Put
import LLVM.Parser.Bits.Primitives
import LLVM.Parser.Bits.BitGet
import LLVM.Util
import Data.Int
import Data.Bool
import Data.Word

import Test.QuickCheck
import Test.Utils

--test :: Integer -> Int -> String
--test n k = 
--           let  bs = lazyToStrict . runPut . ignorem $ putWord32be 0x1234 `loop` 200
--                mond = do 
--                        chunk1 <- getFBR 140
--                        chunk2 <- getAsWord32 12
--                        getAlign32
--                        remn <- failsafe remaining
--                        bp <- failsafe bitsParsed
--                        return (toInteger remn,toInteger bp) 
--                bg = runBitGet bs $ lookAhead mond
--           in case bg of
--                Left str -> "Error"
--                Right (a,b) -> show (a,b)
--
--
--run = test 20 20